1

Social processes and proofs of theorems and programs

Year:
1980
Language:
english
File:
PDF, 2.14 MB
english, 1980
2

Social processes and proofs of theorems and programs

Year:
1979
Language:
english
File:
PDF, 1.06 MB
english, 1979
3

Implicit computation of synchronization primitives

Year:
1979
Language:
english
File:
PDF, 586 KB
english, 1979